Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
281	COSOP Guidelines and Source Book_Vol 2_January2011 Add to Reading List Source URL: www.ifad.org Language: English - Date: 2011-07-13 07:42:55 Conservation Performance indicator Logical framework approach Project management Management
282	Vita for Jean H. Gallier May 16, [removed]Personal Data Work address: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-19 10:01:17 Automated theorem proving Logic in computer science Logic programming Computer science Logical framework Formal language Unification Linear logic Mathematics Theoretical computer science Mathematical logic
283	Curriculum Vitae[removed]Surname and Family name: Jacek Malinowski Add to Reading List Source URL: www.home.umk.pl Language: English - Date: 2009-07-14 05:57:14 Paraconsistent logic Philosophical logic Stanisław Jaśkowski Studia Logica Modal logic Analytic philosophers Nicolaus Copernicus Logical framework Alfred Tarski Logic Mathematical logic Mathematics
284	Algebraic Meta-Theories and Synthesis of Equational Logics Research Programme Marcelo Fiore Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-09-14 11:37:32 Dependently typed programming Type theory Grammar Algebraic structures Model theory Logical framework Universal algebra First-order logic Equational logic Mathematics Logic Mathematical logic
285	PDF Document Add to Reading List Source URL: www.francoarchibugi.it Language: English - Date: 2006-03-20 08:54:12 Evaluation Mind Science Evaluation methods Planning Thought Logical framework approach Urban planning Organizing Project management Neuropsychological assessment Management
286	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2002-01-24 22:28:32 Formal languages Propositional calculus Predicate logic Proof theory Type theory First-order logic Natural deduction Higher-order abstract syntax Logical framework Logic Mathematical logic Mathematics
287	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-09-13 18:04:56 Programming language theory Generic programming Type safety Logical framework Programming language Dynamics Recursion Type system Recursive data type Software engineering Type theory Computing